Formal verification
Synonyms for "formal verification" (14 found)
Ranked by relevance and common usage.
Closest matches (3)
Noun(1 words)
algorithm logic
Adjective(2 words)
certificationcompliance verification
Strong matches (4)
Adjective(4 words)
conformity checkcryptographic algorithm evaluationformal analysisformal proof
Related words (7)
Adjective(6 words)
mathematical validationmathematical verificationmethodical validationproof-based verificationrigorous validationrigorous verification
Noun(1 words)
model checking
Related word relations
OpenGloss and ConceptNet supply richer edges like generalizations, collocations, and derivations.
More general
9 entriescomplianceformal methodsquality assurancesoftware verificationvalidation methodverificationverification approachverification methodverification technique
More specific
6 entriesaudit validationdocument verificationidentity verificationmodel checkingsymbolic executiontheorem proving
Collocations
11 entriesformal specificationformal verification frameworkformal verification methodformal verification methodsformal verification modelformal verification processformal verification techniquesformal verification toolsmodel checkingsoftware verificationtheorem proving
Inflections
1 entriesformal verifications